java records with constructor overload